Compiler correctness - PDFSEARCH.IO - Document Search Engine

Compiler correctness
Results: 26

#	Item
21	The CompCert C verified compiler Documentation and user’s manual Version 2.4 Xavier Leroy INRIA Paris-Rocquencourt September 17, 2014 Add to Reading List Source URL: compcert.inria.fr Language: English - Date: 2014-09-17 05:19:05 Compilers Functional languages Formal methods Logic in computer science Compcert Compiler correctness Compiler Xavier Leroy Coq Software Computing Compiler construction
22	Build Parallel Software that blasts-off rather than crashes – A three pronged approach to SW correctness using Intel Software Correctness tools. Software and Services Group Add to Reading List Source URL: www.xlsoft.com Language: English - Date: 2015-01-15 19:54:08 Cross-platform software Profilers Intel Core Intel Microprocessor VTune Software testing Debian Compiler Computing Software Computer hardware
23	On the correctness of an assembler for the Intel MCS-51 microprocessor? Dominic P. Mulligan and Claudio Sacerdoti Coen Dipartimento di Scienze dell’Informazione, Universit´ a di Bologna Add to Reading List Source URL: cerco.cs.unibo.it Language: English - Date: 2013-05-15 05:17:17 Assembly languages Software Machine code Intel MCS-51 Compiler IBM Basic assembly language Program counter Programming language implementation Software engineering Computing
24	Formal verification of a realistic compiler Xavier Leroy INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France [removed] Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-04-07 07:40:29 Compilers Programming language implementation Functional languages Formal methods Compiler correctness Compiler Compcert Xavier Leroy Code generation Software Computing Compiler construction
25	Syntactic Proofs of Compositional Compiler Correctness Adam Chlipala Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2009-10-04 10:53:34 Lambda calculus Model theory Combinatory logic Fixed-point combinator Recursion Natural deduction Structure Formal language Mathematics Mathematical logic Theoretical computer science
26	PDF Document Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2009-02-16 14:50:09 Mathematics Formal methods Semantics of programming languages Operational semantics Programming language Formal verification Compiler correctness Axiomatic semantics Logic Theoretical computer science Logic in computer science Software engineering